and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
61	Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-09 18:39:18 Higher-order functions Lambda calculus Functional programming Functional languages Critical thinking Argumentation theory Haskell Agda Apply Software engineering Computing Computer programming
62	Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:56 Adjoint functors Functional programming Models of computation Functional languages Monad Kleisli category Denotational semantics List comprehension Strong monad Software engineering Computing Computer programming
63	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
64	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
65	Multi-Stage Programming: Its Theory and Applications Walid Taha B.S. Computer Science and Engineering, 1993, Kuwait University. Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-09-07 10:26:57 Computer science Models of computation Theoretical computer science Formal methods Computability theory Lambda calculus Actor model Type safety Programming language Software engineering Computing Programming paradigms
66	CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis and Olin Shivers Northeastern University {dimvar,shivers}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-02-16 14:40:14 Computer programming Continuations Control flow Computability theory Models of computation Continuation-passing style Eval Stack Lambda calculus Software engineering Computing Subroutines
67	Mart´ın H. Escard´ o. BSc, MSc, PhD Last updated November 14, 2014. See also http://www.cs.bham.ac.uk/ mhe/ I was born in Rio de Janeiro, Brazil. I am married and have three children, born in 1998, 2000 and 2010. Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-11-14 10:40:02 Logic in computer science Formal methods Computability theory Models of computation Dana Scott Semantics of programming languages IEEE Symposium on Logic in Computer Science Computer science Mathematical logic Theoretical computer science Mathematics Applied mathematics
68	HERD: The Highest Expected Reward Decoding for HMMs with Application to Recombination Detection ˇ Brejová Brona Department of Computer Science Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2010-08-20 17:45:42 Statistics Viterbi algorithm Probability and statistics Hidden Markov model Forward–backward algorithm Pointwise Mathematics Annotation Markov models Error detection and correction Dynamic programming
69	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2006-08-28 10:46:06 Computer architecture Reconfigurable computing Models of computation Digital electronics Field-programmable gate array Programming paradigms Parallel computing Dataflow Hardware description language Electronic engineering Computing Electronics
70	Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-07-21 16:26:52 Functional programming Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Fixed-point combinator Valuation Theoretical computer science Declarative programming Mathematics

UPDATE